Theoretical computer science - PDFSEARCH.IO - Document Search Engine

Theoretical computer science
Results: 9916

#	Item
651	PROPOSAL OF FIELDS OF STUDY FOR THE PH.D. DEGREE Name: Add to Reading List Source URL: www.cs.ucla.edu Language: English - Date: 2016-08-08 19:38:09 Computer engineering Computer science Electrical engineering Electronic engineering CS Bioinformatics Theoretical computer science
652	Abstracts Abstracts are listed in the order of presentation. Monday, 18 April Bin Packing: From Theory to Experiment and Back Again David S. Johnson Add to Reading List Source URL: events.cs.bham.ac.uk Language: English - Date: 2011-04-13 17:03:53 Logic in computer science Formal methods Philosophical logic Metalogic Formal verification Theoretical computer science First-order logic Modal logic Logic Mathematical logic P versus NP problem Automated theorem proving
653	CEOC Centro de Estudos em Optimização e Controlo (Centre for Research in Optimization and Control) Computability and Algorithms Add to Reading List Source URL: ceoc.mat.ua.pt Language: English - Date: 2008-07-17 10:24:20 Theoretical computer science Quantum computing Quantum information science Computational complexity theory Quantum algorithm Algorithm Computational geometry Computational mathematics Complexity Quantum simulator Art gallery problem
654	A Construction of Write-Back Caches with Nave Ike Antkare International Institute of Technology United Slates of Earth Add to Reading List Source URL: membres-lig.imag.fr Language: English - Date: 2014-01-09 04:24:28 Theoretical computer science Actor model Concurrent computing Stan Algorithm Dwight D. Eisenhower
655	Evaluation Strategies for Top-k Queries over Memory-Resident Inverted Indexes Marcus Fontoura1∗, Vanja Josifovski2 , Jinhui Liu2 , Srihari Venkatesan2 , Xiangfei Zhu2 , Jason Zien2 1. Google Inc., 1600 Amphitheatre Pkw Add to Reading List Source URL: fontoura.org Language: English - Date: 2011-08-25 01:23:47 Search algorithms Data management Theoretical computer science Inverted index Search engine indexing Algorithm Extensible Storage Engine Document retrieval Vector space model Query expansion Sorting algorithm Tfidf
656	Randomized Algorithms for Solving Large Scale Nonlinear Least Squares Problems by Farbod Roosta-Khorasani Add to Reading List Source URL: www.stat.berkeley.edu Language: English - Date: 2016-01-22 15:04:55 Probabilistic complexity theory Numerical analysis Analysis of algorithms Algorithm Mathematical logic Theoretical computer science Monte Carlo method Pi Stochastic Randomized algorithm
657	Interactive Learning and Mathematical Calculus? Arjeh M. Cohen, Hans Cuypers, Dorina Jibetean, and Mark Spanbroek Technische Universiteit Eindhoven, P.O. Box 513, 5600 MB Eindhoven, The Netherlands Add to Reading List Source URL: www.win.tue.nl Language: English - Date: 2005-12-08 03:07:51 Functions and mappings Differential calculus Mathematical analysis Theoretical computer science OpenMath Calculus Derivative Integral Function Lambda calculus Chain rule Exercise
658	Computer Science Education 2004, Vol. 14, No. 3, pp. 235–248 Teaching Algorithm Efficiency at CS1 Level: A Different Approach Judith Gal-Ezer, Tamar Vilner, and Ela Zur Add to Reading List Source URL: www.openu.ac.il Language: English - Date: 2007-10-29 03:41:13 Theoretical computer science Analysis of algorithms Dynamic programming Software optimization Algorithm Mathematical logic Selection algorithm Recursion Sort Best worst and average case Knapsack problem Matrix chain multiplication
659	Proving Autonomous Vehicle and Advanced Driver Assistance Systems Safety Add to Reading List Source URL: utc.ices.cmu.edu Language: English - Date: 2016-05-26 15:13:50 Formal systems Proof theory Logic in computer science Formal methods Theoretical computer science KeY Automated theorem proving Mathematical proof Formal verification Mathematical logic Modal logic Dynamic logic
660	Microsoft Word - LAW-Paper.doc Add to Reading List Source URL: fm.csl.sri.com Language: English - Date: 2011-12-15 18:21:30 Theoretical computer science Logic in computer science Formal methods Computer security ACL2 Lisp Formal verification SPARK Domain-specific language Pointer Information security Programming language

UPDATE